大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Methods for the Implementation of Algorithmic Languages 的图书(共5677本)

Automotive Model Predictive Control [electronic resource] : Models, Methods and Applications

0
索取号：
作者：Re、 Luigi.、Allg枚wer、 Frank.、Glielmo、 Luigi.、Guardiola、 Carlos.、Kolmanovsky、 Ilya.、SpringerLink (Online service)、
出版社：London : Springer London, 2010.

Supply Chain Engineering [electronic resource] : Useful Methods and Techniques

0
索取号：
作者：Dolgui、 Alexandre.、Proth、 Jean-Marie.、SpringerLink (Online service)、
出版社：London : Springer London, 2010.

Evaluating User Experience in Games [electronic resource] : Concepts and Methods

0
索取号：
作者：Bernhaupt、 Regina.、SpringerLink (Online service)、
出版社：London : Springer London : Imprint: Springer, 2010.

Programming Languages: Principles and Paradigms [electronic resource]

0
索取号：
作者：Gabbrielli、 Maurizio.、Martini、 Simone.、SpringerLink (Online service)、
出版社：London : Springer London, 2010.

Detection and Diagnosis of Stiction in Control Loops [electronic resource] : State of the Art and Advanced Methods

0
索取号：
作者：Jelali、 Mohieddine.、Huang、 Biao.、SpringerLink (Online service)、
出版社：London : Springer London, 2010.

Formal Methods: State of the Art and New Directions [electronic resource]

0
索取号：
作者：Boca、 Paul.、Bowen、 Jonathan P.、Siddiqi、 Jawed.、SpringerLink (Online service)、
出版社：London : Springer London, 2010.

Managing Supply Chain Risk and Vulnerability [electronic resource] : Tools and Methods for Supply Chain Decision Makers

0
索取号：
作者：Wu、 Teresa.、Blackhurst、 Jennifer.、SpringerLink (Online service)、
出版社：London : Springer London, 2009.

Fault-tolerant Flight Control and Guidance Systems [electronic resource] : Practical Methods for Small Unmanned Aerial Vehicles

0
索取号：
作者：Ducard、 Guillaume J.J.、SpringerLink (Online service)、
出版社：London : Springer London, 2009.

New Trends on Human鈥揅omputer Interaction [electronic resource] : Research, Development, New Tools and Methods

0
索取号：
作者：Mac铆as、 Jos茅 A.、Granollers Saltiveri、 Antoni.、Latorre、 Pedro M.、SpringerLink (Online service)、
出版社：London : Springer London, 2009.

Safety-Critical Systems: Problems, Process and Practice [electronic resource] : Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3鈥堆ebruary 2009

0
索取号：
作者：Dale、 Chris.、Anderson、 Tom.、SpringerLink (Online service)、
出版社：London : Springer London, 2009.

Model Predictive Control System Design and Implementation Using MATLAB庐 [electronic resource]

0
索取号：
作者：Wang、 Liuping.、SpringerLink (Online service)、
出版社：London : Springer London, 2009.

Simulation Methods for Reliability and Availability of Complex Systems [electronic resource]

0
索取号：
作者：Faulin、 Javier.、Juan、 Angel A.、Martorell、 Sebasti谩n.、Ram铆rez-M谩rquez、 Jos茅-Emmanuel.、SpringerLink (Online service)、
出版社：London : Springer London, 2010.

Formal Languages and Compilation [electronic resource]

0
索取号：
作者：Crespi Reghizzi、 Stefano.、SpringerLink (Online service)、
出版社：London : Springer London, 2009.

Principles of Programming Languages [electronic resource]

0
索取号：
作者：Dowek、 Gilles.、SpringerLink (Online service)、
出版社：London : Springer London, 2009.

A Course in Formal Languages, Automata and Groups [electronic resource]

0
索取号：
作者：Chiswell、 Ian M.、SpringerLink (Online service)、
出版社：London : Springer London, 2009.

Intelligent Environments [electronic resource] : Methods, Algorithms and Applications

0
索取号：
作者：Monekosso、 Dorothy.、Remagnino、 Paolo.、Kuno、 Yoshinori.、SpringerLink (Online service)、
出版社：London : Springer London, 2009.